:@.λ<'∂α (*↔0:@.⊂<'∂β((*↔0:@._<'∂α (J↔0:@. <'∂β((J↔0:@.(<$∂α0<⊗∂¬↓→ 81KJλ(T,%∩∀∃λ0I
⊂(T,5~T∃λ0M*⊂(T.g(\g@H≡ε'@,≡
⊂2 V_↔∀∃λ(XDET,⊂⊂2∀⊂λ↓∀,#((*⊗⊂∪≥NPλ8↓o	_<	N∪⊂;≥.P⊂8/	`<∞oP<≠∧B8∪≠∞g(↓≤'@H≡πG@,≡& (_ ⊂⊂(XG6⊂∪≥NP⊂8o	<∂/¬@<∂β⊂;≥ 'α≡∩π@≠↑π@(``1@LG@A*⊗⊂≡]NP⊂8↓/	_<∂∞∪h8Mng(:@nλ<'∂α8(*↔0:@n⊂<'∂α (*↔0:@n_<'∂α8(J↔0:@n <'∂α (J↔0:@n(<'∂α0;≥ 7β≡∪G@→≥NP_8↓@W@H≡¬π@,≡
α8(*⊗λ∪T%λ(Xjα (*⊗λ∩∀%λ(]NP_8↓o	<
O¬@<∀& (J_(T,20(XEπ0:@n8α↑∩π@∀↑π@∩∀∃λ0Ijλ(Xeπ0:@n@<$∂α(<⊗∂β⊂<_∂⊂2∀⊂λ↓∀,"01
.g(↓\↓↔@I↑εgλ∩]NW(α≤↔@N≡π7@]≡
B ∪IOβ(∀	∧r`_JMG0:A∞λα↑∩π@≥↑π@→_& (_ ⊂λ(XDf⊂≥]NUp8O	_<LE0@ uλ1∀π6λ∩T α≤'@I↑& (_ ⊂8(XJβX0I*⊗⊂≠≥NW(α\↔@H≡¬eT/¬@<``;≥ W↓≡∩π@↔∀%λ<⊗∂ελAng(α\7@H≡¬e↓T/¬@<A↔0:A. <$oε`↔~fg@≠
εw@R≡∧Cλ∃eβ06≥NW(β≤↔@H≡¬eT/¬@<`'0:AN⊂<$∂αp(J↔@,≡⊂λα]NP08o	<J_(↑π@↓↓ng(β≤G@I↑
Bp5MOβ0∀
o
 <
dCλ∪[∞g(:]$W@,≡p(\↓⊂0↓W(∪≡π@αB00:J∂¬@<.↓ ⊂α@ 7(∀↑π@↓P@8↓.Sλ<⊗∂_↓↓``8:LO¬@<_  λ∧.S0<⊗∂λA P08α  α]&w@,≡π(≥↑π@@.⊂α]'G@,≡⊂⊂α↓0H8 @∧≥'W@,≡π(:I
λ(↑π@A `λ:I
⊂(↑π@↓↓ P0:]$uT/¬@<_ P≥$u↓∀/¬@<↓ :]%eT/¬@<`'(↔∀%λ<⊗∂ελA∞Rp(j↔@,≡ 0:]&UT/¬@< pλ≥&U↓∀/¬@<@p@∧≥.Up